Business rule
Production system
Inference engine
Rete algorithm
ripple-down rules
論理プログラミング
automated theorem proving
Constraint logic programming
Control theory
Datalog
エキスパートシステム
AI winter
CLIPS
Constraint logic programming
Constraint satisfaction
Epistemic modal logic
Belief revision
Common knowledge (logic)
George Boolos
Jaakko Hintikka
タブローの方法
Resolution (logic)
method of analytic tableaux
image method of analytic tableaux
ワークフローエンジン
Business rules engine
Business rule management system
Comparison of BPEL engines
Inference engine
BPMS
DBMS
RDMS
Business rules
Business rules approach
BPMS
DBMS
RDBMS
business rules
business rules approach
Workflow
Project management software
Business rules engine
Information silo
Workflow management system
ビジネスルールエンジン
business rules engine
business rule engine
image business rule engine
ビジネスプロセスオートメーション
business-driven development
Business Process Model and Notation
business process reengineering
Business Process Execution Language (BPEL)
ビジネス + ルール + エンジン
ビジネスルール - ルールエンジン
business rule engine ; business rules engine
BRMS : Business Rule Management System
知識の集成、全知識をはきだすこと。
brain dump ; braindump
1. 欲しいもの、手に入れたいものなど、欲するもの全て書き出す
2. 今現在やらなければならないことを全て書き出す
3. 今現在考えている ビジネスアイデアを全て書き出す
ある特定の ドメインに関する 知識を体系的に集積したもの。
事実や常識、経験などの知識をコンピュータが解読できる形にしてデータベース化したもの。
汎用的な知識ベースを構築するには、あいまいな知識表現や明確な 論理で表現できない知識などの扱いで、技術的な問題が多くある。
ルールベース(rulebase)
FAQ(Frequently Asked Questions 、Frequently Answered Questions)
Learning classifier system
Association rule learning
Associative classifier
Artificial immune system
Expert system
意思決定支援システム、デシジョンサポートシステム
Ethical decision support system
Legal decision support system
Argument map
Cognitive assets (organizational)
エキスパートシステムにおける知識表現手法のひとつ。
事実(ファクト)の集合と「if-then」形式のルールの集合で知識を表現する。
一般的には作業領域、知識ベース、推論部から構成され、次の3段階の動作サイクルの繰り返しにより問題解決を行う。
1. 作業領域にある記憶項目と合致する 規則を見い出す照合
2. いくつかの照合された規則群から適切な規則を選び取る競合解消
Action selection mechanism
Expert system
Learning Classifier System
Inference engine
L-system
rule-based programming
Expert system
Rewriting
RuleML
TK Solver
Learning classifier system
Association rule learning
associative classifier
artificial immune system
Expert system
rule-based machine learning
Production system
Expert system
genetic algorithm
Association rule learning
人工知能の分野の中で、人間の知識をモデル化する手法。
理論や法則といった知識を、コンピュータで処理できるように表現すること。
「~は~である」といった命題の形式で記述する 述語論理を用いることが多い。
また、その知識を扱う推論エンジンや、知識の関係を表現する 意味ネットワークなどを含む研究分野でもある。
KR : knowledge representation
特定分野に特化した専門知識データベースを元に推論を行ない、その分野の専門家に近い判断をくだすことができる人工知能システム。
ES : expert system
人工知能(AI : artificial intelligence)
ニューラルネットワーク(NN : Neural network)、人工ニューラルネットワーク(ANN : artificial neural network)
ある分野に経験を積んで、高度の技術をもっている人。専門家。熟練者。
熟達者の分類
手際のよい熟達者(routine expert)
アルゴリズム化が可能な課題
算盤、記憶術の達人など
バーチャルアシスタント
chatbot
Conversational user interface
Computer facial animation
Expert system
self-service software
意思決定支援システム(DSS : decision support system)
エキスパートシステム(expert system)
セルフサービス(Self service)
セルフサービスソフトウェア - Wikipedia
推論エンジン
Action selection mechanism
Backward chaining
Expert system
Forward chaining
inference engine
Reteアルゴリズム
知識ベース、ナレッジベース(KB : knowledge base)
エキスパートシステム(expert system)
プロダクションシステム(production system、production rule system)
action selection
行動 + 選択
人工知能(AI : artificial intelligence)
エキスパートシステム(ES : expert system)
ゲームAI(Game AI : Game artificial intelligence)
プログラミングで重要なのはプログラミングパラダイム、
要するにこういう考え方でプログラムを組むといいことがある、みたいな思想を理解すること。
programming paradigm
プログラミング(programming) + パラダイム(paradigm)
データ指向プログラミング(DOP : data-oriented programming)
自動定理証明
Curry–Howard correspondence
Symbolic computation
Ramanujan machine
Computer-aided proof
persistent data structure
永続性(persistence)
永続データ(persistent data)
ナビゲーショナルデータベース(navigational database)
コピーオンライト(CPW 、COW : copy-on-write)
ルールに基づく
logic programming
rule based
rule based
rule based
logic programming
数理論理学
述語論理
非単調論理
導出原理
logic programming
rule-based programming
image rule-based programming
手続き型プログラミング
Declarative programming
Functional programming (contrast)
Imperative programming
logic programming
プログラミング言語
Computer programming
computer science
Domain-specific language
Domain-specific modelling
ソルバーとは、解決する ツール。
問題を解く(solve)ツールという意味。
数理計画法のツールである、制約された条件の下に、例えばコストを最小にするためには各変数(項目)をいくらにすれば良いかを自動的に求めることができる。
輸送問題・栄養学の問題・最適人員配置問題などを解くことができる。
solver
backward induction
content-addressable memory hardware
dual-phase evolution – Process that drives self-organization within complex adaptive systems
Linear search problem
No free lunch in search and optimization – Solution cost, averaged over all problems in a class, is the same for any solution method